perm filename OVERI.OUT[1,JRA] blob sn#037360 filedate 1973-04-19 generic text, type T, neo UTF8

2 (x ⊗(y ⊗ y))= x;
3 (x ⊗(y ⊗ z))=(z ⊗(y ⊗ x));
4 (x ⊗(x ⊗ y))= y;
5 ¬((THM2 ⊗ THM1)⊗(THM3 ⊗ THM1))=(THM2 ⊗ THM3);
END